a multi-formalism modeling framework: formal definitions, model composition and solution strategies

in this paper, we present a multi-formalism modeling framework (abbreviated by mfmf) for modeling and simulation. the proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. the framework can be used as a basis for modeling by various formalisms and to support model composition in a unified manner. the structure of the framework is organized in four layers: (1) the metaformalism layer, (2) the formalism layer, (3) the class-model layer, and (4) the model layer. the basic concepts of the framework are formally defined using object constraint language (ocl) and have been illustrated using some examples. we have also explained the model composition structure and the solution strategies of the proposed framework. a prototype tool for the proposed framework is implemented, which is briefly introduced in this paper.